Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 37.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000316 | Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Unification and Matching in Hierarchical Combinations of Syntactic Theories |
| 000318 | Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Rewriting Approach to the Combination of Data Structures with Bridging Theories |
| 000425 | Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited |
| 000622 | Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A rule-based system for automatic decidability and combinability |
| 000A31 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures |
| 000A32 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions |
| 000C18 | Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | On Asymmetric Unification and the Combination Problem in Disjoint Theories |
| 000C35 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version) |
| 000C88 | Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Asymmetric Unification and the Combination Problem in Disjoint Theories |
| 001040 | Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni] | Frontiers of Combining Systems |
| 001141 | Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Hierarchical Combination of Unification Algorithms |
| 001153 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability: A Schematic Calculus for Theories with Counting Operators |
| 001171 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories with Counting Operators |
| 001873 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories Modulo Integer Offsets |
| 001C02 | Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A Rule-Based Framework for Building Superposition-Based Decision Procedures |
| 002A32 | Eric Monfroy [Chili] ; Olivier Perrin [France] ; Christophe Ringeissen [France] ; Laurent Vigneron [France] | A Constraint-based Approach to Web Services Provisioning |
| 002E32 | Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
| 002F08 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator |
| 003317 | Christophe Ringeissen [France] | Equational reasoning and combination methods: from programs to proofs |
| 003684 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 003C83 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Data Structures with Arithmetic Constraints: a Non-Disjoint Combination |
| 003C88 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combinable Extensions of Abelian Groups |
| 003D74 | Eric Monfroy ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Dynamic Web Services Provisioning with Constraints |
| 003E88 | Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | A Mediator Based Approach For Services Composition |
| 004145 | Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Timed Specification For Web Services Compatibility Analysis |
| 004526 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 004598 | Duc-Khanh Tran [France] ; Christophe Ringeissen [France] ; Silvio Ranise [France] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
| 004624 | Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Timed Specification For Web Services Compatibility Analysis |
| 004F01 | Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | A Methodology For Web Services Composition |
| 004F53 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Automatic Combinability of Rewriting-Based Satisfiability Procedures |
| 005034 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Producing Conflict Sets for Combination of Theories |
| 005194 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Building and Combining Satisfiability Procedures for Software Verification |
| 005888 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | On Superposition-Based Satisfiability Procedures and their Combination |
| 005921 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba [États-Unis] | Combining data structures with nonstably infinite theories using many-sorted logic |
| 005927 | Najet Boughanmi [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] | On Structural Information and the Experimental Evaluation of SMT Tools |
| 006544 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba | Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic |
| 006F48 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn |
| This area was generated with Dilib version V0.6.33. |  |